i, j:. (i = j)   

latex

Up	bool 1, bool 1
Definitions	(i = j), t  T, x:A. B(x), A, P  Q, False
Lemmas	bfalse wf, btrue wf